introduction to backtracking